Skip to content
This repository has been archived by the owner on May 19, 2021. It is now read-only.

fixes for #12 - Float num instability #13

Merged
merged 3 commits into from
Jul 20, 2017
Merged

Conversation

ManuelBahr
Copy link
Collaborator

Convert metric values to int before emitting.

@coveralls
Copy link

coveralls commented Jul 20, 2017

Coverage Status

Coverage remained the same at 100.0% when pulling 6edf756 on float_num_instability into 325416f on master.

@ManuelBahr ManuelBahr merged commit 55efe51 into master Jul 20, 2017
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants